-
1 исчисление подстановок
чи́слення підстано́вокРусско-украинский политехнический словарь > исчисление подстановок
-
2 исчисление подстановок
чи́слення підстано́вокРусско-украинский политехнический словарь > исчисление подстановок
-
3 исчисление
матем.1) ( действие) обчи́слення, (неоконч. - ещё) обчи́слювання, обчисля́ння; ви́рахування, (неоконч. - ещё) вирахо́вування2) (совокупность приёмов, наименований и обозначений чисел) чи́слення- интегральное исчисление
- исчисление вероятностей
- исчисление высказываний
- исчисление кванторов
- исчисление классов
- исчисление отношений
- исчисление подстановок
- исчисление равенства
- приближённое исчисление
- разностное исчисление
- ступенчатое исчисление
- тензорное исчисление
- уравнительное исчисление
- функциональное исчисление -
4 исчисление
матем.1) ( действие) обчи́слення, (неоконч. - ещё) обчи́слювання, обчисля́ння; ви́рахування, (неоконч. - ещё) вирахо́вування2) (совокупность приёмов, наименований и обозначений чисел) чи́слення- интегральное исчисление
- исчисление вероятностей
- исчисление высказываний
- исчисление кванторов
- исчисление классов
- исчисление отношений
- исчисление подстановок
- исчисление равенства
- приближённое исчисление
- разностное исчисление
- ступенчатое исчисление
- тензорное исчисление
- уравнительное исчисление
- функциональное исчисление
См. также в других словарях:
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ — раздел математики, в к ром изучаются понятия интеграла, его свойства и методы вычислений. И. и. непрерывно связано с дифференциальным исчислением и составляет вместе с ним основу математич. анализа. Истоки И. и. относятся к античному периоду… … Математическая энциклопедия
Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая … Большая советская энциклопедия
Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… … Википедия
История математики — История науки … Википедия
Математика Древнего Востока — История науки По тематике Математика Естественные науки … Википедия
АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… … Математическая энциклопедия
Теория групп — Группа (математика) Теория групп Осно … Википедия
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия